Kim Guldstrand Larsen: потърсете в сайта Z-Library

Набиране на средства 15 септември 2024 – 1 октомври 2024 Относно набирането на средства

Свободен достъп до знания и култура.

Набиране на средства 15 септември 2024 – 1 октомври 2024

Z-Library е една от най-големите онлайн библиотеки в света, която съдържа над 17,000,000 книги и 84,837,000 статии. Ние се стремим да направим литературата достъпна за всеки. Днес (15 септември 2024) започнахме допълнително набиране на средства за поддръжка и развитие на проекта.

Също НЕОГРАНИЧЕНО изтегляния (за 31 дни след деня на дарението) са достъпни за ALL сътрудници, които ще дарят по време на периода за набиране на средства до 1 октомври 2024.

Относно набирането на средстваПрочетете още

Направи дарение

Книги (17)
Най-популярни
Списък
- Списък
- Таблица

1

Principles of Model Checking

Principles of Model Checking

Christel Baier, Joost-Pieter Katoen, Kim Guldstrand Larsen

Година:

2008

Език:

english

Файл:

PDF, 17.08 MB

0 / 5.0

english, 2008

2

Reactive Systems: Modelling, Specification and Verification

Reactive Systems: Modelling, Specification and Verification

Cambridge University Press

Luca Aceto, Anna Ingólfsdóttir, Kim Guldstrand Larsen, Jiri Srba

Година:

2007

Език:

english

Файл:

PDF, 1.86 MB

0 / 5.0

english, 2007

3

Tools and Algorithms for the Construction and Analysis of Systems. 27th International Conference, TACAS 2021 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Part II

Tools and Algorithms for the Construction and Analysis of Systems. 27th International Conference, TACAS 2021 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Part II

Jan Friso Groote, Kim Guldstrand Larsen, (eds.)

Година:

2021

Език:

english

Файл:

PDF, 13.20 MB

0 / 5.0

english, 2021

4

Tools and Algorithms for the Construction and Analysis of Systems. 27th International Conference, TACAS 2021 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Part I

Tools and Algorithms for the Construction and Analysis of Systems. 27th International Conference, TACAS 2021 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Part I

Jan Friso Groote, Kim Guldstrand Larsen, (eds.)

Година:

2021

Език:

english

Файл:

PDF, 8.58 MB

0 / 5.0

english, 2021

5

Formal Methods for Industrial Critical Systems: 24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30–31, 2019, Proceedings

Formal Methods for Industrial Critical Systems: 24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30–31, 2019, Proceedings

Springer International Publishing

Kim Guldstrand Larsen, Tim Willemse

Година:

2019

Език:

english

Файл:

PDF, 10.09 MB

0 / 0

english, 2019

6

Verification, Model Checking, and Abstract Interpretation: 16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015. Proceedings

Verification, Model Checking, and Abstract Interpretation: 16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015. Proceedings

Springer-Verlag Berlin Heidelberg

Deepak D’Souza, Akash Lal, Kim Guldstrand Larsen (eds.)

Година:

2015

Език:

english

Файл:

PDF, 10.50 MB

0 / 0

english, 2015

7

Reactive systems: modelling, specification and verification

Reactive systems: modelling, specification and verification

Cambridge University Press

Luca Aceto, Anna Ingólfsdóttir, Kim Guldstrand Larsen, Jiri Srba

Година:

2007

Език:

english

Файл:

PDF, 1.97 MB

0 / 0

english, 2007

8

Sustainable Energy Systems Planning, Integration and Management

Sustainable Energy Systems Planning, Integration and Management

Mohammad Shahidehpour, Kim Guldstrand Larsen, Somayeh Asadi, Behnam Mohammadi-ivatloo, Amjad Anvari-Moghaddam

Година:

2020

Език:

english

Файл:

PDF, 37.26 MB

0 / 5.0

english, 2020

9

Reachability Problems: 10th International Workshop, RP 2016, Aalborg, Denmark, September 19-21, 2016, Proceedings

Reachability Problems: 10th International Workshop, RP 2016, Aalborg, Denmark, September 19-21, 2016, Proceedings

Springer International Publishing

Kim Guldstrand Larsen, Igor Potapov, Jiří Srba (eds.)

Година:

2016

Език:

english

Файл:

PDF, 5.17 MB

0 / 0

english, 2016

10

Reactive Systems: Modelling, Specification and Verification

Reactive Systems: Modelling, Specification and Verification

Cambridge University Press

Luca Aceto, Anna Ingólfsdóttir, Kim Guldstrand Larsen, Jiri Srba

Година:

2007

Език:

english

Файл:

PDF, 1.92 MB

0 / 0

english, 2007

11

The MIT Press Principles of Model Checking

The MIT Press Principles of Model Checking

Christel Baier, Joost-Pieter Katoen, Kim Guldstrand Larsen

Година:

2008

Език:

english

Файл:

PDF, 17.06 MB

0 / 0

english, 2008

12

Dependable Software Engineering. Theories, Tools, and Applications: Third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings

Dependable Software Engineering. Theories, Tools, and Applications: Third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings

Springer International Publishing

Kim Guldstrand Larsen, Oleg Sokolsky, Ji Wang (eds.)

Година:

2017

Език:

english

Файл:

PDF, 10.61 MB

0 / 0

english, 2017

13

Formal Modeling and Analysis of Timed Systems: First International Workshop, FORMATS 2003, Marseille, France, September 6-7, 2003. Revised Papers

Formal Modeling and Analysis of Timed Systems: First International Workshop, FORMATS 2003, Marseille, France, September 6-7, 2003. Revised Papers

Springer-Verlag Berlin Heidelberg

Eugene Asarin (auth.), Kim Guldstrand Larsen, Peter Niebert (eds.)

Година:

2004

Език:

english

Файл:

PDF, 3.62 MB

0 / 0

english, 2004

14

Computer Aided Verification: 14th International Conference, CAV 2002 Copenhagen, Denmark, July 27–31, 2002 Proceedings

Computer Aided Verification: 14th International Conference, CAV 2002 Copenhagen, Denmark, July 27–31, 2002 Proceedings

Springer-Verlag Berlin Heidelberg

Gerard_J. Holzmann (auth.), Ed Brinksma, Kim Guldstrand Larsen (eds.)

Година:

2002

Език:

english

Файл:

PDF, 9.30 MB

0 / 0

english, 2002

15

Protocol Specification, Testing and Verification XIV

Protocol Specification, Testing and Verification XIV

Klaus Havelund, Kim Guldstrand Larsen (auth.), Son T. Vuong, Samuel T. Chanson (eds.)

Година:

1995

Език:

english

Файл:

PDF, 11.61 MB

0 / 0

english, 1995

16

Computer Aided Verification: 14th International Conference, CAV 2002 Copenhagen, Denmark, July 27–31, 2002 Proceedings

Computer Aided Verification: 14th International Conference, CAV 2002 Copenhagen, Denmark, July 27–31, 2002 Proceedings

Springer-Verlag Berlin Heidelberg

Gerard_J. Holzmann (auth.), Ed Brinksma, Kim Guldstrand Larsen (eds.)

Година:

2002

Език:

english

Файл:

PDF, 5.01 MB

0 / 0

english, 2002

17

Formal Modeling and Analysis of Timed Systems: First International Workshop, FORMATS 2003, Marseille, France, September 6-7, 2003. Revised Papers

Formal Modeling and Analysis of Timed Systems: First International Workshop, FORMATS 2003, Marseille, France, September 6-7, 2003. Revised Papers

Springer-Verlag Berlin Heidelberg

Eugene Asarin (auth.), Kim Guldstrand Larsen, Peter Niebert (eds.)

Година:

2004

Език:

english

Файл:

PDF, 3.06 MB

0 / 0

english, 2004